Optimal. Leaf size=569 \[ \frac{2 b d^2 e x^2 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{3 c}+\frac{4 b d^2 e \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{3 c^3}+\frac{2 b d^3 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{c}+\frac{6 b d e^2 x^4 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{25 c}+\frac{8 b d e^2 x^2 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{25 c^3}+\frac{16 b d e^2 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{25 c^5}+\frac{2 b e^3 x^6 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{49 c}+\frac{12 b e^3 x^4 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{245 c^3}+\frac{16 b e^3 x^2 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{245 c^5}+\frac{32 b e^3 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{245 c^7}+d^2 e x^3 \left (a+b \sin ^{-1}(c x)\right )^2+d^3 x \left (a+b \sin ^{-1}(c x)\right )^2+\frac{3}{5} d e^2 x^5 \left (a+b \sin ^{-1}(c x)\right )^2+\frac{1}{7} e^3 x^7 \left (a+b \sin ^{-1}(c x)\right )^2-\frac{4 b^2 d^2 e x}{3 c^2}-\frac{8 b^2 d e^2 x^3}{75 c^2}-\frac{16 b^2 d e^2 x}{25 c^4}-\frac{12 b^2 e^3 x^5}{1225 c^2}-\frac{16 b^2 e^3 x^3}{735 c^4}-\frac{32 b^2 e^3 x}{245 c^6}-\frac{2}{9} b^2 d^2 e x^3-2 b^2 d^3 x-\frac{6}{125} b^2 d e^2 x^5-\frac{2}{343} b^2 e^3 x^7 \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.96268, antiderivative size = 569, normalized size of antiderivative = 1., number of steps used = 26, number of rules used = 7, integrand size = 20, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.35, Rules used = {4667, 4619, 4677, 8, 4627, 4707, 30} \[ \frac{2 b d^2 e x^2 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{3 c}+\frac{4 b d^2 e \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{3 c^3}+\frac{2 b d^3 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{c}+\frac{6 b d e^2 x^4 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{25 c}+\frac{8 b d e^2 x^2 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{25 c^3}+\frac{16 b d e^2 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{25 c^5}+\frac{2 b e^3 x^6 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{49 c}+\frac{12 b e^3 x^4 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{245 c^3}+\frac{16 b e^3 x^2 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{245 c^5}+\frac{32 b e^3 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{245 c^7}+d^2 e x^3 \left (a+b \sin ^{-1}(c x)\right )^2+d^3 x \left (a+b \sin ^{-1}(c x)\right )^2+\frac{3}{5} d e^2 x^5 \left (a+b \sin ^{-1}(c x)\right )^2+\frac{1}{7} e^3 x^7 \left (a+b \sin ^{-1}(c x)\right )^2-\frac{4 b^2 d^2 e x}{3 c^2}-\frac{8 b^2 d e^2 x^3}{75 c^2}-\frac{16 b^2 d e^2 x}{25 c^4}-\frac{12 b^2 e^3 x^5}{1225 c^2}-\frac{16 b^2 e^3 x^3}{735 c^4}-\frac{32 b^2 e^3 x}{245 c^6}-\frac{2}{9} b^2 d^2 e x^3-2 b^2 d^3 x-\frac{6}{125} b^2 d e^2 x^5-\frac{2}{343} b^2 e^3 x^7 \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 4667
Rule 4619
Rule 4677
Rule 8
Rule 4627
Rule 4707
Rule 30
Rubi steps
\begin{align*} \int \left (d+e x^2\right )^3 \left (a+b \sin ^{-1}(c x)\right )^2 \, dx &=\int \left (d^3 \left (a+b \sin ^{-1}(c x)\right )^2+3 d^2 e x^2 \left (a+b \sin ^{-1}(c x)\right )^2+3 d e^2 x^4 \left (a+b \sin ^{-1}(c x)\right )^2+e^3 x^6 \left (a+b \sin ^{-1}(c x)\right )^2\right ) \, dx\\ &=d^3 \int \left (a+b \sin ^{-1}(c x)\right )^2 \, dx+\left (3 d^2 e\right ) \int x^2 \left (a+b \sin ^{-1}(c x)\right )^2 \, dx+\left (3 d e^2\right ) \int x^4 \left (a+b \sin ^{-1}(c x)\right )^2 \, dx+e^3 \int x^6 \left (a+b \sin ^{-1}(c x)\right )^2 \, dx\\ &=d^3 x \left (a+b \sin ^{-1}(c x)\right )^2+d^2 e x^3 \left (a+b \sin ^{-1}(c x)\right )^2+\frac{3}{5} d e^2 x^5 \left (a+b \sin ^{-1}(c x)\right )^2+\frac{1}{7} e^3 x^7 \left (a+b \sin ^{-1}(c x)\right )^2-\left (2 b c d^3\right ) \int \frac{x \left (a+b \sin ^{-1}(c x)\right )}{\sqrt{1-c^2 x^2}} \, dx-\left (2 b c d^2 e\right ) \int \frac{x^3 \left (a+b \sin ^{-1}(c x)\right )}{\sqrt{1-c^2 x^2}} \, dx-\frac{1}{5} \left (6 b c d e^2\right ) \int \frac{x^5 \left (a+b \sin ^{-1}(c x)\right )}{\sqrt{1-c^2 x^2}} \, dx-\frac{1}{7} \left (2 b c e^3\right ) \int \frac{x^7 \left (a+b \sin ^{-1}(c x)\right )}{\sqrt{1-c^2 x^2}} \, dx\\ &=\frac{2 b d^3 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{c}+\frac{2 b d^2 e x^2 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{3 c}+\frac{6 b d e^2 x^4 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{25 c}+\frac{2 b e^3 x^6 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{49 c}+d^3 x \left (a+b \sin ^{-1}(c x)\right )^2+d^2 e x^3 \left (a+b \sin ^{-1}(c x)\right )^2+\frac{3}{5} d e^2 x^5 \left (a+b \sin ^{-1}(c x)\right )^2+\frac{1}{7} e^3 x^7 \left (a+b \sin ^{-1}(c x)\right )^2-\left (2 b^2 d^3\right ) \int 1 \, dx-\frac{1}{3} \left (2 b^2 d^2 e\right ) \int x^2 \, dx-\frac{\left (4 b d^2 e\right ) \int \frac{x \left (a+b \sin ^{-1}(c x)\right )}{\sqrt{1-c^2 x^2}} \, dx}{3 c}-\frac{1}{25} \left (6 b^2 d e^2\right ) \int x^4 \, dx-\frac{\left (24 b d e^2\right ) \int \frac{x^3 \left (a+b \sin ^{-1}(c x)\right )}{\sqrt{1-c^2 x^2}} \, dx}{25 c}-\frac{1}{49} \left (2 b^2 e^3\right ) \int x^6 \, dx-\frac{\left (12 b e^3\right ) \int \frac{x^5 \left (a+b \sin ^{-1}(c x)\right )}{\sqrt{1-c^2 x^2}} \, dx}{49 c}\\ &=-2 b^2 d^3 x-\frac{2}{9} b^2 d^2 e x^3-\frac{6}{125} b^2 d e^2 x^5-\frac{2}{343} b^2 e^3 x^7+\frac{2 b d^3 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{c}+\frac{4 b d^2 e \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{3 c^3}+\frac{2 b d^2 e x^2 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{3 c}+\frac{8 b d e^2 x^2 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{25 c^3}+\frac{6 b d e^2 x^4 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{25 c}+\frac{12 b e^3 x^4 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{245 c^3}+\frac{2 b e^3 x^6 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{49 c}+d^3 x \left (a+b \sin ^{-1}(c x)\right )^2+d^2 e x^3 \left (a+b \sin ^{-1}(c x)\right )^2+\frac{3}{5} d e^2 x^5 \left (a+b \sin ^{-1}(c x)\right )^2+\frac{1}{7} e^3 x^7 \left (a+b \sin ^{-1}(c x)\right )^2-\frac{\left (4 b^2 d^2 e\right ) \int 1 \, dx}{3 c^2}-\frac{\left (16 b d e^2\right ) \int \frac{x \left (a+b \sin ^{-1}(c x)\right )}{\sqrt{1-c^2 x^2}} \, dx}{25 c^3}-\frac{\left (8 b^2 d e^2\right ) \int x^2 \, dx}{25 c^2}-\frac{\left (48 b e^3\right ) \int \frac{x^3 \left (a+b \sin ^{-1}(c x)\right )}{\sqrt{1-c^2 x^2}} \, dx}{245 c^3}-\frac{\left (12 b^2 e^3\right ) \int x^4 \, dx}{245 c^2}\\ &=-2 b^2 d^3 x-\frac{4 b^2 d^2 e x}{3 c^2}-\frac{2}{9} b^2 d^2 e x^3-\frac{8 b^2 d e^2 x^3}{75 c^2}-\frac{6}{125} b^2 d e^2 x^5-\frac{12 b^2 e^3 x^5}{1225 c^2}-\frac{2}{343} b^2 e^3 x^7+\frac{2 b d^3 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{c}+\frac{4 b d^2 e \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{3 c^3}+\frac{16 b d e^2 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{25 c^5}+\frac{2 b d^2 e x^2 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{3 c}+\frac{8 b d e^2 x^2 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{25 c^3}+\frac{16 b e^3 x^2 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{245 c^5}+\frac{6 b d e^2 x^4 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{25 c}+\frac{12 b e^3 x^4 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{245 c^3}+\frac{2 b e^3 x^6 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{49 c}+d^3 x \left (a+b \sin ^{-1}(c x)\right )^2+d^2 e x^3 \left (a+b \sin ^{-1}(c x)\right )^2+\frac{3}{5} d e^2 x^5 \left (a+b \sin ^{-1}(c x)\right )^2+\frac{1}{7} e^3 x^7 \left (a+b \sin ^{-1}(c x)\right )^2-\frac{\left (16 b^2 d e^2\right ) \int 1 \, dx}{25 c^4}-\frac{\left (32 b e^3\right ) \int \frac{x \left (a+b \sin ^{-1}(c x)\right )}{\sqrt{1-c^2 x^2}} \, dx}{245 c^5}-\frac{\left (16 b^2 e^3\right ) \int x^2 \, dx}{245 c^4}\\ &=-2 b^2 d^3 x-\frac{4 b^2 d^2 e x}{3 c^2}-\frac{16 b^2 d e^2 x}{25 c^4}-\frac{2}{9} b^2 d^2 e x^3-\frac{8 b^2 d e^2 x^3}{75 c^2}-\frac{16 b^2 e^3 x^3}{735 c^4}-\frac{6}{125} b^2 d e^2 x^5-\frac{12 b^2 e^3 x^5}{1225 c^2}-\frac{2}{343} b^2 e^3 x^7+\frac{2 b d^3 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{c}+\frac{4 b d^2 e \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{3 c^3}+\frac{16 b d e^2 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{25 c^5}+\frac{32 b e^3 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{245 c^7}+\frac{2 b d^2 e x^2 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{3 c}+\frac{8 b d e^2 x^2 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{25 c^3}+\frac{16 b e^3 x^2 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{245 c^5}+\frac{6 b d e^2 x^4 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{25 c}+\frac{12 b e^3 x^4 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{245 c^3}+\frac{2 b e^3 x^6 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{49 c}+d^3 x \left (a+b \sin ^{-1}(c x)\right )^2+d^2 e x^3 \left (a+b \sin ^{-1}(c x)\right )^2+\frac{3}{5} d e^2 x^5 \left (a+b \sin ^{-1}(c x)\right )^2+\frac{1}{7} e^3 x^7 \left (a+b \sin ^{-1}(c x)\right )^2-\frac{\left (32 b^2 e^3\right ) \int 1 \, dx}{245 c^6}\\ &=-2 b^2 d^3 x-\frac{4 b^2 d^2 e x}{3 c^2}-\frac{16 b^2 d e^2 x}{25 c^4}-\frac{32 b^2 e^3 x}{245 c^6}-\frac{2}{9} b^2 d^2 e x^3-\frac{8 b^2 d e^2 x^3}{75 c^2}-\frac{16 b^2 e^3 x^3}{735 c^4}-\frac{6}{125} b^2 d e^2 x^5-\frac{12 b^2 e^3 x^5}{1225 c^2}-\frac{2}{343} b^2 e^3 x^7+\frac{2 b d^3 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{c}+\frac{4 b d^2 e \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{3 c^3}+\frac{16 b d e^2 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{25 c^5}+\frac{32 b e^3 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{245 c^7}+\frac{2 b d^2 e x^2 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{3 c}+\frac{8 b d e^2 x^2 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{25 c^3}+\frac{16 b e^3 x^2 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{245 c^5}+\frac{6 b d e^2 x^4 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{25 c}+\frac{12 b e^3 x^4 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{245 c^3}+\frac{2 b e^3 x^6 \sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{49 c}+d^3 x \left (a+b \sin ^{-1}(c x)\right )^2+d^2 e x^3 \left (a+b \sin ^{-1}(c x)\right )^2+\frac{3}{5} d e^2 x^5 \left (a+b \sin ^{-1}(c x)\right )^2+\frac{1}{7} e^3 x^7 \left (a+b \sin ^{-1}(c x)\right )^2\\ \end{align*}
Mathematica [A] time = 0.493539, size = 435, normalized size = 0.76 \[ -\frac{2 b d^2 e \left (-3 a \sqrt{1-c^2 x^2} \left (c^2 x^2+2\right )+b c x \left (c^2 x^2+6\right )-3 b \sqrt{1-c^2 x^2} \left (c^2 x^2+2\right ) \sin ^{-1}(c x)\right )}{9 c^3}-2 b d^3 \left (b x-\frac{\sqrt{1-c^2 x^2} \left (a+b \sin ^{-1}(c x)\right )}{c}\right )-\frac{2 b d e^2 \left (-15 a \sqrt{1-c^2 x^2} \left (3 c^4 x^4+4 c^2 x^2+8\right )+b c x \left (9 c^4 x^4+20 c^2 x^2+120\right )-15 b \sqrt{1-c^2 x^2} \left (3 c^4 x^4+4 c^2 x^2+8\right ) \sin ^{-1}(c x)\right )}{375 c^5}-\frac{2 b e^3 \left (-105 a \sqrt{1-c^2 x^2} \left (5 c^6 x^6+6 c^4 x^4+8 c^2 x^2+16\right )+b c x \left (75 c^6 x^6+126 c^4 x^4+280 c^2 x^2+1680\right )-105 b \sqrt{1-c^2 x^2} \left (5 c^6 x^6+6 c^4 x^4+8 c^2 x^2+16\right ) \sin ^{-1}(c x)\right )}{25725 c^7}+d^2 e x^3 \left (a+b \sin ^{-1}(c x)\right )^2+d^3 x \left (a+b \sin ^{-1}(c x)\right )^2+\frac{3}{5} d e^2 x^5 \left (a+b \sin ^{-1}(c x)\right )^2+\frac{1}{7} e^3 x^7 \left (a+b \sin ^{-1}(c x)\right )^2 \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.125, size = 1194, normalized size = 2.1 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.52988, size = 944, normalized size = 1.66 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 2.25981, size = 1277, normalized size = 2.24 \begin{align*} \frac{1125 \,{\left (49 \, a^{2} - 2 \, b^{2}\right )} c^{7} e^{3} x^{7} + 189 \,{\left (49 \,{\left (25 \, a^{2} - 2 \, b^{2}\right )} c^{7} d e^{2} - 20 \, b^{2} c^{5} e^{3}\right )} x^{5} + 35 \,{\left (1225 \,{\left (9 \, a^{2} - 2 \, b^{2}\right )} c^{7} d^{2} e - 1176 \, b^{2} c^{5} d e^{2} - 240 \, b^{2} c^{3} e^{3}\right )} x^{3} + 11025 \,{\left (5 \, b^{2} c^{7} e^{3} x^{7} + 21 \, b^{2} c^{7} d e^{2} x^{5} + 35 \, b^{2} c^{7} d^{2} e x^{3} + 35 \, b^{2} c^{7} d^{3} x\right )} \arcsin \left (c x\right )^{2} + 105 \,{\left (3675 \,{\left (a^{2} - 2 \, b^{2}\right )} c^{7} d^{3} - 4900 \, b^{2} c^{5} d^{2} e - 2352 \, b^{2} c^{3} d e^{2} - 480 \, b^{2} c e^{3}\right )} x + 22050 \,{\left (5 \, a b c^{7} e^{3} x^{7} + 21 \, a b c^{7} d e^{2} x^{5} + 35 \, a b c^{7} d^{2} e x^{3} + 35 \, a b c^{7} d^{3} x\right )} \arcsin \left (c x\right ) + 210 \,{\left (75 \, a b c^{6} e^{3} x^{6} + 3675 \, a b c^{6} d^{3} + 2450 \, a b c^{4} d^{2} e + 1176 \, a b c^{2} d e^{2} + 240 \, a b e^{3} + 9 \,{\left (49 \, a b c^{6} d e^{2} + 10 \, a b c^{4} e^{3}\right )} x^{4} +{\left (1225 \, a b c^{6} d^{2} e + 588 \, a b c^{4} d e^{2} + 120 \, a b c^{2} e^{3}\right )} x^{2} +{\left (75 \, b^{2} c^{6} e^{3} x^{6} + 3675 \, b^{2} c^{6} d^{3} + 2450 \, b^{2} c^{4} d^{2} e + 1176 \, b^{2} c^{2} d e^{2} + 240 \, b^{2} e^{3} + 9 \,{\left (49 \, b^{2} c^{6} d e^{2} + 10 \, b^{2} c^{4} e^{3}\right )} x^{4} +{\left (1225 \, b^{2} c^{6} d^{2} e + 588 \, b^{2} c^{4} d e^{2} + 120 \, b^{2} c^{2} e^{3}\right )} x^{2}\right )} \arcsin \left (c x\right )\right )} \sqrt{-c^{2} x^{2} + 1}}{385875 \, c^{7}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 17.9512, size = 989, normalized size = 1.74 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.38743, size = 1642, normalized size = 2.89 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]